Microsemantics as a Bootstrap in Teaching Formal Methods
نویسنده
چکیده
Introducing an elementary form of program semantics early in the curriculum provides a good preamble to formal methods. Microsemantics uses only the most basic concept in formal mathematics, namely substitution, and therefore can be presented as early as the second lecture of a freshman-level course. It can subsequently serve as a bootstrap for gradually introducing most of the other fundamental concepts of formal methods, leading up to formal systems specification and design.
منابع مشابه
On Teaching the Bootstrap
While the bootstrap in its first two decades after its inception by Brad Efron revolutionized the methods of the expert data analysts, its vast pedagogical potential is still in the process of being discovered. The bootstrap is a prime example of synergy between technology and content that can naturally be taught within the paradigms of new pedagogy. It has the potential to make core concepts o...
متن کاملA survey on teaching style of academic members in Rafsanjan University of medical sciences
Introduction: Teaching styles and learning are behaviors that teachers and students show in learning process. Identifying teaching styles and personal charactristics of the academic members can be useful for their instructional patterns and students achivement. So, this study was designed to determine the teaching styles of academic members of Rafsanjan University of Medical Sciences (HUM...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملInvestigating the Relationship between Critical Thinking Disposition and Teaching Style of Faculty Members in Ahvaz Jundishapur University of Medical Sciences
Introduction: The critical thinking disposition and related factors as one of the professional competencies of faculty members have attracted many educational researchers᾽ attention. Teaching styles are also effective factors in developing skills and tendency of critical thinking that can be effective in strengthening critical thinking. The aim of this study was to investigate the relationship ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006